1
فلسفه::
نظریهٔ تسویر
Complete proof procedures are available not only for quantification theory (cf.
(B) of Chapter 4) but for quantification theory and identity theory together.
when added to a complete proof procedure for quantification theory, afford a complete proof procedure for quantification and identity.1 Elementary number theory, in contrast, is shown in Godel's more famous theorem (1931) to admit no complete proof procedure.2
This latter trait suggests that identity theory, like quantification theory, is peculiarly basic.
It can be shown further that (2) becomes a valid schema of quantification theory.10
واژگان شبکه مترجمین ایران